$\forall$${\it the\_w}$:World, $e$:E.
\\[0ex]FairFifo $\Rightarrow$ ($\uparrow$isrcv(kind($e$))) $\Rightarrow$ (index($e$) $\in$ \{0..$\parallel$sends(lnk(kind($e$));sender($e$))$\parallel^{-}$\})